Nuprl Definition : list_ind def
13,42
postcript
pdf
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
) is Primitive
latex
Up
core
1
,
core
1
origin